Automated deduction - CADE-13
- Författare
- John K. Slaney Michael A. MacRobbie International Conference on Automated Deduction 1996) New Brunswick :
- (13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings M.A. McRobbie, J.K. Slaney, (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1996 | Tyskland, Berlin | xv, 764 sidor. tab. |